Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
181	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics
182	Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-25 20:03:38 Data types Type theory Object-oriented programming Model theory C++ Type safety Type system Denotational semantics Subtype polymorphism Software engineering Computing Programming language theory
183	A Denotational Semantics for Total Correctness of Sequential Exact Real Programs Thomas Anberr´ee Dr. Mart´ın H¨otzel Escard´o Supervisor Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-02-29 20:15:03 Exponentials Exponentiation Qi ALGOL 68 Universal quantification FO Software engineering Programming language theory Computing
184	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
185	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
186	doi: Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:54 Formal languages Lisp programming language Dichotomies Literal and figurative language Regular expression Expression Idiom Type system Representation Literature Fiction Semantics
187	Natural Language Programming Using Class Sequential Rules Cohan Sujay Carlos Aiaioo Labs Bangalore, India Add to Reading List Source URL: www.aiaioo.com Language: English - Date: 2012-04-15 08:35:59 Computational linguistics Functional languages Compiler construction Artificial intelligence Notation Programming language Parsing Natural language processing Semantics Computing Software engineering Computer programming
188	Motivation Programs may contain code whose result is needed, but in which some computation is simply a redundant repetition of earlier computation within the same program. The concept of expression availability is useful Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-01-31 06:00:00 Abstract algebra Evaluation Expression ALGOL 68 Conditional Semantics Boolean algebra Computing Software engineering Programming language theory
189	IUCr Computing Commission Newsletter Add to Reading List Source URL: cci.lbl.gov Language: English - Date: 2011-01-13 22:26:32 Scripting languages Command shells Subroutines Python Lisp programming language Python syntax and semantics Command-line interface Eric Python IDE Constructor Computing Software engineering Computer programming
190	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science

UPDATE